@def color #628CD5;
@def lightColor #A4BEEA;
@def disabledColor #AFAFAF;
@def downColor #FF7E00;

@external .gwt-CustomButton, .gwt-CustomButton-up, .gwt-CustomButton-up-hovering, .gwt-CustomButton-up-disabled, .gwt-CustomButton-down, .gwt-CustomButton-down-hovering, .gwt-CustomButton-down-disabled; 

.button.gwt-CustomButton{
	-webkit-border-radius: 5px;
	-moz-border-radius: 5px;
	border-radius: 5px;
	background-color: white;
	background-clip: border-box;
	overflow: hidden; 
	padding: 5px 10px;
	margin: 0px 5px; 
	border: 2px solid color;
	cursor: pointer;
}

.button.gwt-CustomButton-up-hovering{
	background-color: color;
	color: white;
}

.button.gwt-CustomButton-down, .button.gwt-CustomButton-down-hovering{
	background-color: downColor;
}

.button.gwt-CustomButton-up-disabled{
	border-color: disabledColor;
	cursor: default;
}


